Maude相关论文
Purpose:Partial ossicular replacement (PORP) and total ossicular replacement prostheses (TORP) are used to restore ossic......
Rewriting logic is a unified model of concurrency, which provides a formal common framework of wellknown models of concu......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
IEEE802.16m标准在MAC安全子层定义了密钥管理PKMv3协议,用于认证和授权信息的传输以及密钥的交换。由于宽带无线网络具有易遭受攻......
为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它。为此,提出使用重写逻辑表......
Rewriting logic is a unified model of concurrency, which provides a formal common framework of wellknown models of concu......
This paper presents, without altering the AADL meta-model, a formal description of static and behavioral aspects of the ......
